Algebraic modeling language